i386: Fix the build.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/acpi/boot.c b/xen/arch/x86/acpi/boot.c
index a9c013e8eb5a161d2e97a4568f19b6403614c7a6..6ff77d3566ea19f018df7dc2644e74ac07b9916d 100644 (file)
--- a/xen/arch/x86/acpi/boot.c
+++ b/xen/arch/x86/acpi/boot.c
@@ -465,8 +465,9 @@ bad:
 static void __init
 acpi_fadt_parse_reg(struct acpi_table_fadt *fadt)
 {
-       unsigned int len = min(fadt->header.length, sizeof(*fadt));
+       unsigned int len;
 
+       len = min_t(unsigned int, fadt->header.length, sizeof(*fadt));
        memcpy(&acpi_gbl_FADT, fadt, len);
 
        if (len > offsetof(struct acpi_table_fadt, xpm1b_event_block)) {